1. Logical Foundations of Computer Science
پدیدآورنده : \ Sergei Artemov , Anil Nerode (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Computer logic -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L6
2015
E-Book
,
2. Logical foundations of computer science :
پدیدآورنده : Sergei Artemov, Anil Nerode (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses,Computer science, Congresses
3. Logical foundations of computer science
پدیدآورنده : / Sergei N. Artemov, Anil Nerode (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer science--Congresses,Logic, Symbolic and mathematical--Congresses,Programa?c?ao laogica (congressos)--larpcal,Ci?encia da computa?c?ao (congressos)--larpcal
رده :
QA
,
75
.
5
,.
L44
,
2007
4. Logical foundations of computer science
پدیدآورنده : Sergei Artemov, Anil Nerode (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses,Computer science, Congresses
رده :
QA75
.
5
.
L43
2013
5. Logical foundations of computer science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings
پدیدآورنده : LFCS 9002)9002 :Deerfield Beach, Fla.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Computer science Congresses,، Logic, Symbolic and mathematical Congresses
رده :
QA
75
.
5
.
L64
2009
